On the "Logic without Borders" Point of View
نویسنده
چکیده
Finitism, intuitionism, constructivism, formalism, predicativism, structuralism, objectivism, platonism; foundationalism, anti-foundationalism, first orderism; constructive type theory, Cantorian set theory, proof theory; top down principles or building up from below—framework commitments, that is, ideology, permeates the logician’s mathematical life. Such commitments set ∗This paper is based on a series of conversations with Jouko Väänänen.
منابع مشابه
A New Implementation of Maximum Power Point Tracking Based on Fuzzy Logic Algorithm for Solar Photovoltaic System
In this paper, we present a modeling and implementation of new control schemes for an isolated photovoltaic (PV) using a fuzzy logic controller (FLC). The PV system is connected to a load through a DC-DC boost converter. The FLC controller provides the appropriate duty cycle (D) to the DC-DC converter for the PV system to generate maximum power. Using FLC controller block in MATLABTM/Simulink e...
متن کاملWays of Using Borders in Iranian Carpets (piled and flatwave) until the Beginning of Islam
The border in Iranian carpets is an embossed and decorative frame embedded around the weaving. The presence and necessity of using borders in the sales of different historical periods is a noteworthy point through which the independence of the structural elements in the most basic sales can be identified. By examining the existence of borders and their quality in the products belonging to the p...
متن کاملA Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کاملTheoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought
This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...
متن کاملLow Delay Time All Optical NAND, XNOR and OR Logic Gates Based on 2D Photonic Crystal Structure
Background and Objectives: Recently, photonic crystals have been considered as the basic structures for the realization of various optical devices for high speed optical communication. Methods: In this research, two dimensional photonic crystals are used for designing all optical logic gates. A photonic crystal structure with a triangular lattice is proposed for making NAND, XNOR, and OR optica...
متن کامل